Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs"This should be the final version of the artifact. It provides the Windows VM that was missing in the previous version, and an updated Docker image that includes pre-checked out versions of GLSLsmith's submodules
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021. ...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Ths artifact consists of a docker image with instructions, the dataset, and the code necessary to re...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021. ...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Ths artifact consists of a docker image with instructions, the dataset, and the code necessary to re...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021. ...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...